Error-Tolerance and Error Management in Lightweight Description Logics
نویسندگان
چکیده
منابع مشابه
Lightweight Description Logics with Meta-modelling
In order to incorporate meta-modelling in Description Logic, we add equations between individuals and concepts. We naturally require that the individual and the concept are semantically equal and the interpretation domain should be a well-founded set. In this paper, we consider the Description Logics behind the three OWL 2 profiles extended with meta-modelling and study the problems of checking...
متن کاملTractable Queries for Lightweight Description Logics
It is a classic result in database theory that conjunctive query (CQ) answering, which is NP-complete in general, is feasible in polynomial time when restricted to acyclic queries. Subsequent results identified more general structural properties of CQs (like bounded treewidth) which ensure tractable query evaluation. In this paper, we lift these tractability results to knowledge bases formulate...
متن کاملRegular Path Queries in Lightweight Description Logics: Complexity and Algorithms
Conjunctive regular path queries are an expressive extension of the well-known class of conjunctive queries. Such queries have been extensively studied in the (graph) database community, since they support a controlled form of recursion and enable sophisticated path navigation. Somewhat surprisingly, there has been little work aimed at using such queries in the context of description logic (DL)...
متن کاملFormalising Human Error Resistance and Human Error Tolerance
A key aim of human-machine interface design for aircraft control systems it to prevent pilot errors from jeopardising the safety of the aircraft. In terms of safety engineering designers should seek designs that minimise the risk of human error. To achieve this designers should aim to produce designs for control systems that minimise the probability of human errors occurring, and that minimise ...
متن کاملDescription Logics in Data Management
Description logics and reasoners, which are descendants of the kl-one language, have been studied in depth in Arti cial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations | each involving one or more languages. Speci cally, we indicat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: KI - Künstliche Intelligenz
سال: 2020
ISSN: 0933-1875,1610-1987
DOI: 10.1007/s13218-020-00684-5